home *** CD-ROM | disk | FTP | other *** search
/ Collection of Tools & Utilities / Collection of Tools and Utilities.iso / ada / c01lab5.zip / SPACEMON / TYPES.SRC < prev   
Text File  |  1992-03-17  |  714b  |  27 lines
  1. with Spacecraft_Sensor_Interface; use Spacecraft_Sensor_Interface;
  2.  
  3. package Types is
  4.  
  5. type PRESSURE_SENSOR_TYPE is 
  6.     record
  7.         value: PRESSURE;
  8.         in_range: BOOLEAN;
  9.     end record;
  10.  
  11. type RADIATION_SENSOR_TYPE is
  12.     record
  13.         value: RADIATION_LEVEL;
  14.         in_range: BOOLEAN;
  15.     end record;
  16.  
  17. type TEMPERATURE_SENSOR_TYPE is
  18.     record
  19.         value: TEMPERATURE;
  20.         in_range: BOOLEAN;
  21.     end record;
  22.  
  23. type PRESSURE_ARRAY is array(SPACECRAFT_SECTION'FIRST .. SPACECRAFT_SECTION'LAST) of PRESSURE_SENSOR_TYPE;
  24. type RADIATION_ARRAY is array(SPACECRAFT_SECTION'FIRST .. SPACECRAFT_SECTION'LAST) of RADIATION_SENSOR_TYPE;
  25. type TEMPERATURE_ARRAY is array(SPACECRAFT_SECTION'FIRST .. SPACECRAFT_SECTION'LAST) of TEMPERATURE_SENSOR_TYPE;
  26.  
  27. end Types;